Anti-Ramsey number of edge-disjoint rainbow spanning trees

An edge-colored graph $G$ is called rainbow if every edge of $G$ receives a different color. The anti-Ramsey number of $t$ edge-disjoint rainbow spanning trees, denoted by $r(n,t)$, is defined as the maximum number of colors in an edge-coloring of $K_n$ containing no $t$ edge-disjoint rainbow spanning trees. Jahanbekam and West [J. Graph Theory, 2014] conjectured that for any fixed $t$, $r(n,t)=\binom{n-2}{2}+t$ whenever $n\geq 2t+2 \geq 6$. In this paper, we prove this conjecture. We also determine $r(n,t)$ when $n = 2t+1$. Together with previous results, this gives the anti-Ramsey number of $t$ edge-disjoint rainbow spanning trees for all values of $n$ and $t$.Comment: 17 pages, fixed an error in the proof of Theorem 3 using Matroid method

On the size-Ramsey number of tight paths

For any $r\geq 2$ and $k\geq 3$, the $r$-color size-Ramsey number $\hat R(\mathcal{G},r)$ of a $k$-uniform hypergraph $\mathcal{G}$ is the smallest integer $m$ such that there exists a $k$-uniform hypergraph $\mathcal{H}$ on $m$ edges such that any coloring of the edges of $\mathcal{H}$ with $r$ colors yields a monochromatic copy of $\mathcal{G}$. Let $\mathcal{P}_{n,k-1}^{(k)}$ denote the $k$-uniform tight path on $n$ vertices. Dudek, Fleur, Mubayi and R\H{o}dl showed that the size-Ramsey number of tight paths $\hat R(\mathcal{P}_{n,k-1}^{(k)}, 2) = O(n^{k-1-\alpha} (\log n)^{1+\alpha})$ where $\alpha = \frac{k-2}{\binom{k-1}{2}+1}$. In this paper, we improve their bound by showing that $\hat R(\mathcal{P}_{n,k-1}^{(k)}, r) = O(r^k (n\log n)^{k/2})$ for all $k\geq 3$ and $r\geq 2$.Comment: 9 page

A note on 1-guardable graphs in the cops and robber game

In the cops and robber games played on a simple graph $G$, Aigner and Fromme's lemma states that one cop can guard a shortest path in the sense that the robber cannot enter this path without getting caught after finitely many steps. In this paper, we extend Aigner and Fromme's lemma to cover a larger family of graphs and give metric characterizations of these graphs. In particular, we show that a generalization of block graphs, namely vertebrate graphs, are 1-guardable. We use this result to give the cop number of some special class of multi-layer generalized Peterson graphs.Comment: fixing typo

On the cover Tur\'an number of Berge hypergraphs

For a fixed set of positive integers $R$, we say $\mathcal{H}$ is an $R$-uniform hypergraph, or $R$-graph, if the cardinality of each edge belongs to $R$. For a graph $G=(V,E)$, a hypergraph $\mathcal{H}$ is called a Berge-$G$, denoted by $BG$, if there exists a bijection $f: E(G) \to E(\mathcal{H})$ such that for every $e \in E(G)$, $e \subseteq f(e)$. In this paper, we define a variant of Tur\'an number in hypergraphs, namely the cover Tur\'an number, denoted as $\hat{ex}_R(n, G)$, as the maximum number of edges in the shadow graph of a Berge-$G$ free $R$-graph on $n$ vertices. We show a general upper bound on the cover Tur\'an number of graphs and determine the cover Tur\'an density of all graphs when the uniformity of the host hypergraph equals to $3$.Comment: 14 page

Equivalence of L0 and L1 Minimizations in Sudoku Problem

Sudoku puzzles can be formulated and solved as a sparse linear system of equations. This problem is a very useful example for the Compressive Sensing (CS) theoretical study. In this study, the equivalence of Sudoku puzzles L0 and L1 minimizations is analyzed. In particular, 17-clue (smallest number of clues) uniquely completable puzzles with sparse optimization algorithms are studied and divided into two types, namely, type-I and -II puzzles. The solution of L1 minimization for the type-I puzzles is unique, and the sparse optimization algorithms can solve all of them exactly. By contrast, the solution of L1 minimization is not unique for the type-II puzzles, and the results of algorithms are incorrect for all these puzzles. Each empty cell for all type-II puzzles is examined. Results show that some cells can change the equivalence of L0 and L1 minimizations. These results may be helpful for the study of equivalence of L0 and L1 norm minimization in CS

The extremal pp-spectral radius of Berge-hypergraphs

Let $G$ be a graph. We say that a hypergraph $H$ is a Berge-$G$ if there is a bijection $\phi: E(G)\to E(H)$ such that $e\subseteq \phi(e)$ for all $e\in E(G)$. For any $r$-uniform hypergraph $H$ and a real number $p\geq 1$, the $p$-spectral radius $\lambda^{(p)}(H)$ of $H$ is defined as $$\lambda^{(p)}(H):=\max_{{\bf x}\in\mathbb{R}^n,\,\|{\bf x}\|_p=1} r\sum_{\{i_1,i_2,\ldots,i_r\}\in E(H)} x_{i_1}x_{i_2}\cdots x_{i_r}.$$ In this paper, we study the $p$-spectral radius of Berge-$G$ hypergraphs. We determine the $3$-uniform hypergraphs with maximum $p$-spectral radius for $p\geq 1$ among Berge-$G$ hypergraphs when $G$ is a path, a cycle or a star.Comment: 15 page

On a hypergraph probabilistic graphical model

We propose a directed acyclic hypergraph framework for a probabilistic graphical model that we call Bayesian hypergraphs. The space of directed acyclic hypergraphs is much larger than the space of chain graphs. Hence Bayesian hypergraphs can model much finer factorizations than Bayesian networks or LWF chain graphs and provide simpler and more computationally efficient procedures for factorizations and interventions. Bayesian hypergraphs also allow a modeler to represent causal patterns of interaction such as Noisy-OR graphically (without additional annotations). We introduce global, local and pairwise Markov properties of Bayesian hypergraphs and prove under which conditions they are equivalent. We define a projection operator, called shadow, that maps Bayesian hypergraphs to chain graphs, and show that the Markov properties of a Bayesian hypergraph are equivalent to those of its corresponding chain graph. We extend the causal interpretation of LWF chain graphs to Bayesian hypergraphs and provide corresponding formulas and a graphical criterion for intervention

Concentration inequalities in spaces of random configurations with positive Ricci curvatures

In this paper, we prove an Azuma-Hoeffding-type inequality in several classical models of random configurations, including the Erd\H{o}s-R\'enyi random graph models $G(n,p)$ and $G(n,M)$, the random $d$-out(in)-regular directed graphs, and the space of random permutations. The main idea is using Ollivier's work on the Ricci curvature of Markov chairs on metric spaces. Here we give a cleaner form of such concentration inequality in graphs. Namely, we show that for any Lipschitz function $f$ on any graph (equipped with an ergodic random walk and thus an invariant distribution $\nu$) with Ricci curvature at least $\kappa>0$, we have $$\nu \left( |f-E_{\nu}f| \geq t \right) \leq 2\exp\left( -\frac{t^2\kappa}{7} \right).$$Comment: 22 page

On the cover Ramsey number of Berge hypergraphs

For a fixed set of positive integers $R$, we say $\mathcal{H}$ is an $R$-uniform hypergraph, or $R$-graph, if the cardinality of each edge belongs to $R$. An $R$-graph $\mathcal{H}$ is \emph{covering} if every vertex pair of $\mathcal{H}$ is contained in some hyperedge. For a graph $G=(V,E)$, a hypergraph $\mathcal{H}$ is called a \textit{Berge}-$G$, denoted by $BG$, if there exists an injection $f: E(G) \to E(\mathcal{H})$ such that for every $e \in E(G)$, $e \subseteq f(e)$. In this note, we define a new type of Ramsey number, namely the \emph{cover Ramsey number}, denoted as $\hat{R}^R(BG_1, BG_2)$, as the smallest integer $n_0$ such that for every covering $R$-uniform hypergraph $\mathcal{H}$ on $n \geq n_0$ vertices and every $2$-edge-coloring (blue and red) of $\mathcal{H}$ , there is either a blue Berge-$G_1$ or a red Berge-$G_2$ subhypergraph. We show that for every $k\geq 2$, there exists some $c_k$ such that for any finite graphs $G_1$ and $G_2$, $R(G_1, G_2) \leq \hat{R}^{[k]}(BG_1, BG_2) \leq c_k \cdot R(G_1, G_2)^3$. Moreover, we show that for each positive integer $d$ and $k$, there exists a constant $c = c(d,k)$ such that if $G$ is a graph on $n$ vertices with maximum degree at most $d$, then $\hat{R}^{[k]}(BG,BG) \leq cn$.Comment: 9 page

On Hamiltonian Berge cycles in 33-uniform hypergraphs

Given a set $R$, a hypergraph is $R$-uniform if the size of every hyperedge belongs to $R$. A hypergraph $\mathcal{H}$ is called \textit{covering} if every vertex pair is contained in some hyperedge in $\mathcal{H}$. In this note, we show that every covering $[3]$-uniform hypergraph on $n\geq 6$ vertices contains a Berge cycle $C_s$ for any $3\leq s\leq n$. As an application, we determine the maximum Lagrangian of $k$-uniform Berge-$C_{t}$-free hypergraphs and Berge-$P_{t}$-free hypergraphs.Comment: Title changed to "On Hamiltonian Berge cycles in $3$-uniform hypergraphs